    <?php
		$androidString = 'Android';
		$useragent = $_SERVER['HTTP_USER_AGENT'];
		echo $useragent."\n".$useragent;
		$pos = strpos($useragent, $androidString);
		if($pos===false)
		{
			$status = "PC";
		}
		else
		{
			$status = "Android";
		}
		echo "<br> DEBUG: status in discriminator ". $status . "<br>" ;
	?>
